home *** CD-ROM | disk | FTP | other *** search
/ Sprite 1984 - 1993 / Sprite 1984 - 1993.iso / lib / tex / sfonts.tex < prev    next >
Encoding:
Text File  |  1987-07-18  |  23.1 KB  |  489 lines
  1. % File SFONTS - Version of 17 December 1985
  2.  
  3. %  Definition of \newfont and \symbol
  4. %  Note that fonts defined with \newfont won't work
  5. %  with color slides---characters in that font will appear
  6. %  in all color layers and in `invisible' text.
  7. % 
  8. \def\newfont#1#2{\@ifdefinable #1{\font #1=#2\relax}}
  9. \def\symbol#1{\char #1\relax}
  10.  
  11. \message{fonts,}
  12.  
  13. % visible fourteen point fonts
  14. \font\fourteenrm   = lcmss8  scaled \magstep 3 % roman
  15. \font\fourteeni    = cmmi8   scaled \magstep 3 % math italic
  16.     \skewchar\fourteeni ='177                  %  for math accents
  17. \font\fourteensy   = cmsy8   scaled \magstep 3 % symbol
  18.     \skewchar\fourteensy ='60           %   for placement of math accents
  19. \font\fourteenit   = lcmssi8 scaled \magstep 3 % italic
  20. \font\fourteenbf   = lcmssb8 scaled \magstep 3 % bold
  21. \font\fourteentt   = cmtt8   scaled \magstep 3 % typewriter
  22.     \hyphenchar\fourteentt = -1         %  suppress hyphenation in \tt font
  23. \font\fourteenlasy = lasy8  scaled \magstep 3 % LaTeX symbol
  24.  
  25. % invisible fourteen point fonts
  26. \font\ifourteenrm   = ilcmss8  scaled \magstep 3 % roman
  27. \font\ifourteeni    = icmmi8   scaled \magstep 3 % math italic
  28.     \skewchar\ifourteeni ='177                  %  for math accents
  29. \font\ifourteensy   = icmsy8   scaled \magstep 3 % symbol
  30.     \skewchar\ifourteensy ='60           %   for placement of math accents
  31. \font\ifourteenit   = ilcmssi8 scaled \magstep 3 % italic
  32. \font\ifourteenbf   = ilcmssb8 scaled \magstep 3 % bold
  33. \font\ifourteentt   = icmtt8   scaled \magstep 3 % typewriter
  34.     \hyphenchar\ifourteentt = -1         %  suppress hyphenation in \tt font
  35. \font\ifourteenlasy = ilasy8  scaled \magstep 3 % LaTeX symbol
  36.  
  37. % visible seventeen point fonts
  38. \font\seventeenrm   = lcmss8  scaled \magstep 4 % roman
  39. \font\seventeeni    = cmmi8   scaled \magstep 4 % math italic
  40.     \skewchar\seventeeni ='177                  %  for math accents
  41. \font\seventeensy   = cmsy8   scaled \magstep 4 % symbol
  42.     \skewchar\seventeensy ='60           %   for placement of math accents
  43. \font\seventeenit   = lcmssi8 scaled \magstep 4 % italic
  44. \font\seventeenbf   = lcmssb8 scaled \magstep 4 % bold
  45. \font\seventeentt   = cmtt8   scaled \magstep 4 % typewriter
  46.     \hyphenchar\seventeentt = -1         %  suppress hyphenation in \tt font
  47. \font\seventeenlasy = lasy8  scaled \magstep 4 % LaTeX symbol
  48.  
  49. % invisible seventeen point fonts
  50. \font\iseventeenrm   = ilcmss8  scaled \magstep 4 % roman
  51. \font\iseventeeni    = icmmi8   scaled \magstep 4 % math italic
  52.     \skewchar\iseventeeni ='177                  %  for math accents
  53. \font\iseventeensy   = icmsy8   scaled \magstep 4 % symbol
  54.     \skewchar\iseventeensy ='60           %   for placement of math accents
  55. \font\iseventeenit   = ilcmssi8 scaled \magstep 4 % italic
  56. \font\iseventeenbf   = ilcmssb8 scaled \magstep 4 % bold
  57. \font\iseventeentt   = icmtt8   scaled \magstep 4 % typewriter
  58.     \hyphenchar\iseventeentt = -1         %  suppress hyphenation in \tt font
  59. \font\iseventeenlasy = ilasy8  scaled \magstep 4 % LaTeX symbol
  60.  
  61. % visible twenty point fonts 
  62. \font\twentyrm   = lcmss8  scaled \magstep 5 % roman
  63. \font\twentyi    = cmmi8   scaled \magstep 5 % math italic
  64.     \skewchar\twentyi ='177                  %  for math accents
  65. \font\twentysy   = cmsy8   scaled \magstep 5 % symbol
  66.     \skewchar\twentysy ='60           %   for placement of math accents
  67. \font\twentyit   = lcmssi8 scaled \magstep 5 % italic
  68. \font\twentybf   = lcmssb8 scaled \magstep 5 % bold
  69. \font\twentytt   = cmtt8   scaled \magstep 5 % typewriter
  70.     \hyphenchar\twentytt = -1         %  suppress hyphenation in \tt font
  71. \font\twentylasy = lasy8  scaled \magstep 5 % LaTeX symbol
  72.  
  73. % invisible twenty point fonts
  74. \font\itwentyrm   = ilcmss8  scaled \magstep 5 % roman
  75. \font\itwentyi    = icmmi8   scaled \magstep 5 % math italic
  76.     \skewchar\itwentyi ='177                  %  for math accents
  77. \font\itwentysy   = icmsy8   scaled \magstep 5 % symbol
  78.     \skewchar\itwentysy ='60           %   for placement of math accents
  79. \font\itwentyit   = ilcmssi8 scaled \magstep 5 % italic
  80. \font\itwentybf   = ilcmssb8 scaled \magstep 5 % bold
  81. \font\itwentytt   = icmtt8   scaled \magstep 5 % typewriter
  82.     \hyphenchar\itwentytt = -1         %  suppress hyphenation in \tt font
  83. \font\itwentylasy = ilasy8  scaled \magstep 5 % LaTeX symbol
  84.  
  85. % visible twentyfour point fonts -- \magstep 6
  86. \font\twentyfourrm   = lcmss8  scaled 2986 % roman
  87. \font\twentyfouri    = cmmi8   scaled 2986 % math italic
  88.     \skewchar\twentyfouri ='177                  %  for math accents
  89. \font\twentyfoursy   = cmsy8   scaled 2986 % symbol
  90.     \skewchar\twentyfoursy ='60           %   for placement of math accents
  91. \font\twentyfourit   = lcmssi8 scaled 2986 % italic
  92. \font\twentyfourbf   = lcmssb8 scaled 2986 % bold
  93. \font\twentyfourtt   = cmtt8   scaled 2986 % typewriter
  94.     \hyphenchar\twentyfourtt = -1         %  suppress hyphenation in \tt font
  95. \font\twentyfourlasy = lasy8  scaled 2986 % LaTeX symbol
  96.  
  97. % invisible twentyfour point fonts
  98. \font\itwentyfourrm   = ilcmss8  scaled 2986 % roman
  99. \font\itwentyfouri    = icmmi8   scaled 2986 % math italic
  100.     \skewchar\itwentyfouri ='177                  %  for math accents
  101. \font\itwentyfoursy   = icmsy8   scaled 2986 % symbol
  102.     \skewchar\itwentyfoursy ='60           %   for placement of math accents
  103. \font\itwentyfourit   = ilcmssi8 scaled 2986 % italic
  104. \font\itwentyfourbf   = ilcmssb8 scaled 2986 % bold
  105. \font\itwentyfourtt   = icmtt8   scaled 2986 % typewriter
  106.     \hyphenchar\itwentyfourtt = -1         %  suppress hyphenation in \tt font
  107. \font\itwentyfourlasy = ilasy8  scaled 2986 % LaTeX symbol
  108.  
  109. % visible twentynine point fonts -- \magstep 7
  110. \font\twentyninerm   = lcmss8  scaled 3583 % roman
  111. \font\twentyninei    = cmmi8   scaled 3583 % math italic
  112.     \skewchar\twentyninei ='177                  %  for math accents
  113. \font\twentyninesy   = cmsy8   scaled 3583 % symbol
  114.     \skewchar\twentyninesy ='60           %   for placement of math accents
  115. \font\twentynineit   = lcmssi8 scaled 3583 % italic
  116. \font\twentyninebf   = lcmssb8 scaled 3583 % bold
  117. \font\twentyninett   = cmtt8   scaled 3583 % typewriter
  118.     \hyphenchar\twentyninett = -1         %  suppress hyphenation in \tt font
  119. \font\twentyninelasy = lasy8  scaled 3583 % LaTeX symbol
  120.  
  121. % invisible twentynine point fonts
  122. \font\itwentyninerm   = ilcmss8  scaled 3583 % roman
  123. \font\itwentyninei    = icmmi8   scaled 3583 % math italic
  124.     \skewchar\itwentyninei ='177                  %  for math accents
  125. \font\itwentyninesy   = icmsy8   scaled 3583 % symbol
  126.     \skewchar\itwentyninesy ='60           %   for placement of math accents
  127. \font\itwentynineit   = ilcmssi8 scaled 3583 % italic
  128. \font\itwentyninebf   = ilcmssb8 scaled 3583 % bold
  129. \font\itwentyninett   = icmtt8   scaled 3583 % typewriter
  130.     \hyphenchar\itwentyninett = -1         %  suppress hyphenation in \tt font
  131. \font\itwentyninelasy = ilasy8  scaled 3583 % LaTeX symbol
  132.  
  133. % visible thirtyfour point fonts -- \magstep 8
  134. \font\thirtyfourrm   = lcmss8  scaled 4300 % roman
  135. \font\thirtyfouri    = cmmi8   scaled 4300 % math italic
  136.     \skewchar\thirtyfouri ='177                  %  for math accents
  137. \font\thirtyfoursy   = cmsy8   scaled 4300 % symbol
  138.     \skewchar\thirtyfoursy ='60           %   for placement of math accents
  139. \font\thirtyfourit   = lcmssi8 scaled 4300 % italic
  140. \font\thirtyfourbf   = lcmssb8 scaled 4300 % bold
  141. \font\thirtyfourtt   = cmtt8   scaled 4300 % typewriter
  142.     \hyphenchar\thirtyfourtt = -1         %  suppress hyphenation in \tt font
  143. \font\thirtyfourlasy = lasy8  scaled 4300 % LaTeX symbol
  144.  
  145. % invisible thirtyfour point fonts
  146. \font\ithirtyfourrm   = ilcmss8  scaled 4300 % roman
  147. \font\ithirtyfouri    = icmmi8   scaled 4300 % math italic
  148.     \skewchar\ithirtyfouri ='177                  %  for math accents
  149. \font\ithirtyfoursy   = icmsy8   scaled 4300 % symbol
  150.     \skewchar\ithirtyfoursy ='60           %   for placement of math accents
  151. \font\ithirtyfourit   = ilcmssi8 scaled 4300 % italic
  152. \font\ithirtyfourbf   = ilcmssb8 scaled 4300 % bold
  153. \font\ithirtyfourtt   = icmtt8   scaled 4300 % typewriter
  154.     \hyphenchar\ithirtyfourtt = -1         %  suppress hyphenation in \tt font
  155. \font\ithirtyfourlasy = ilasy8  scaled 4300 % LaTeX symbol
  156.  
  157. % fortyone point fonts
  158. \font\fortyonerm  = lcmss8  scaled 5160 % roman
  159. \font\ifortyonerm = ilcmss8 scaled 5160 % roman
  160.  
  161. % math extension
  162. \font\tenex =cmex10  scaled\magstep3
  163. \font\itenex=icmex10 scaled\magstep3
  164.  
  165. % line and circle fonts
  166. \font\tenln    = line10
  167. \font\tenlnw   = linew10
  168. \font\tencirc  = circle10
  169. \font\tencircw = circlew10
  170.  
  171. \ifnum\fontdimen8\tenln=\fontdimen8\tencirc \else 
  172.   \@warning{Incompatible thin line and circle fonts}\fi
  173. \ifnum\fontdimen8\tenlnw=\fontdimen8\tencircw \else 
  174.   \@warning{Incompatible thick line and circle fonts}\fi
  175.  
  176. % Definition of type sizes
  177.  
  178. % NOTE: In this file, \lineskip is 1pt for all font sizes.
  179. \lineskip 1pt
  180. \normallineskip 1pt
  181.  
  182. \def\@subfam#1#2{\@warning{No \string#1\space typeface in 
  183.         SLiTeX, using \string#2}#2}
  184.  
  185.  
  186. % protected font names
  187. \def\rm{\protect\prm}
  188. \def\it{\protect\pit}
  189. \def\bf{\protect\pbf}
  190. \def\tt{\protect\ptt}
  191. \def\sl{\@subfam\sl\it}
  192. \def\sf{\@subfam\sf\rm}
  193. \def\sc{\@subfam\sc\rm}
  194.  
  195. \def\em{\protect\pem{}}
  196. \def\pem{\ifdim \fontdimen\@ne\font >\z@ \rm \else \it \fi}
  197.  
  198. \def\mit{\fam\@ne} 
  199. \def\cal{\fam\tw@}
  200.  
  201. \def\boldmath{\@warning{No \string\boldmath\space in SLiTeX}}
  202. \let\unboldmath=\relax
  203.  
  204. \def\@nomath#1{\ifmmode \@warning{\string#1\space in math mode.}\fi}
  205.  
  206.  
  207. % unused families defined to keep family numbering the same as in LaTeX
  208. %
  209. \newfam\itfam      % \it is family 4
  210. \newfam\slfam      % \sl is family 5  -  Not used in SLiTeX
  211. \newfam\bffam      % \bf is family 6
  212. \newfam\ttfam      % \tt is family 7
  213. \newfam\sffam      % \sf is family 8  -  Not used in SLiTeX
  214. \newfam\scfam      % \sf is family 9  -  Not used in SLiTeX
  215. \newfam\lyfam      % \ly is family 10
  216.  
  217.  
  218. \def\fourteenpt{\def\prm{\fam\z@\fourteenrm\def\@currfont{\rm}}%
  219. \textfont\z@\fourteenrm \scriptfont\z@\fourteenrm 
  220.   \scriptscriptfont\z@\fourteenrm
  221. \textfont\@ne\fourteeni \scriptfont\@ne\fourteeni 
  222.   \scriptscriptfont\@ne\fourteeni
  223. \textfont\tw@\fourteensy \scriptfont\tw@\fourteensy 
  224.   \scriptscriptfont\tw@\fourteensy
  225. \textfont\thr@@\tenex \scriptfont\thr@@\tenex \scriptscriptfont\thr@@\tenex
  226. \def\pit{\fam\itfam\fourteenit\def\@currfont{\it}}\textfont\itfam\fourteenit 
  227.     \scriptfont\itfam\fourteenit \scriptscriptfont\itfam\fourteenit
  228. \def\pbf{\fam\bffam\fourteenbf\def\@currfont{\bf}}\textfont\bffam\fourteenbf 
  229.    \scriptfont\bffam\fourteenbf \scriptscriptfont\bffam\fourteenbf
  230. \def\ptt{\fam\ttfam\fourteentt\def\@currfont{\tt}}\textfont\ttfam\fourteentt 
  231.     \scriptfont\ttfam\fourteentt \scriptscriptfont\ttfam\fourteentt
  232. \def\lasy{\fam\lyfam\fourteenlasy\def\@currfont{\lasy}}%
  233. \textfont\lyfam\fourteenlasy \scriptfont\lyfam\fourteenlasy 
  234.    \scriptscriptfont\lyfam\fourteenlasy}
  235.  
  236. \def\ifourteenpt{\def\prm{\fam\z@\ifourteenrm\def\@currfont{\rm}}%
  237. \textfont\z@\ifourteenrm \scriptfont\z@\ifourteenrm 
  238.    \scriptscriptfont\z@\ifourteenrm
  239. \textfont\@ne\ifourteeni \scriptfont\@ne\ifourteeni 
  240.    \scriptscriptfont\@ne\ifourteeni
  241. \textfont\tw@\ifourteensy \scriptfont\tw@\ifourteensy 
  242.     \scriptscriptfont\tw@\ifourteensy
  243. \textfont\thr@@\itenex \scriptfont\thr@@\itenex \scriptscriptfont\thr@@\itenex
  244. \def\pit{\fam\itfam\ifourteenit\def\@currfont{\it}}\textfont\itfam\ifourteenit 
  245.     \scriptfont\itfam\ifourteenit \scriptscriptfont\itfam\ifourteenit
  246. \def\pbf{\fam\bffam\ifourteenbf\def\@currfont{\bf}}\textfont\bffam\ifourteenbf 
  247.   \scriptfont\bffam\ifourteenbf \scriptscriptfont\bffam\ifourteenbf
  248. \def\ptt{\fam\ttfam\ifourteentt\def\@currfont{\tt}}\textfont\ttfam\ifourteentt 
  249.   \scriptfont\ttfam\ifourteentt \scriptscriptfont\ttfam\ifourteentt
  250. \def\lasy{\fam\lyfam\ifourteenlasy\def\@currfont{\lasy}}%
  251. \textfont\lyfam\ifourteenlasy \scriptfont\lyfam\ifourteenlasy 
  252.    \scriptscriptfont\lyfam\ifourteenlasy}
  253.  
  254. \def\seventeenpt{\def\prm{\fam\z@\seventeenrm\def\@currfont{\rm}}%
  255. \textfont\z@\seventeenrm \scriptfont\z@\fourteenrm 
  256.    \scriptscriptfont\z@\fourteenrm
  257. \textfont\@ne\seventeeni \scriptfont\@ne\fourteeni 
  258.    \scriptscriptfont\@ne\fourteeni
  259. \textfont\tw@\seventeensy \scriptfont\tw@\fourteensy 
  260.    \scriptscriptfont\tw@\fourteensy
  261. \textfont\thr@@\tenex \scriptfont\thr@@\tenex \scriptscriptfont\thr@@\tenex
  262. \def\pit{\fam\itfam\seventeenit\def\@currfont{\it}}\textfont\itfam\seventeenit 
  263.    \scriptfont\itfam\fourteenit \scriptscriptfont\itfam\fourteenit
  264. \def\pbf{\fam\bffam\seventeenbf\def\@currfont{\bf}}\textfont\bffam\seventeenbf 
  265.    \scriptfont\bffam\fourteenbf \scriptscriptfont\bffam\fourteenbf
  266. \def\ptt{\fam\ttfam\seventeentt\def\@currfont{\tt}}\textfont\ttfam\seventeentt
  267.    \scriptfont\ttfam\fourteentt \scriptscriptfont\ttfam\fourteentt
  268. \def\lasy{\fam\lyfam\seventeenlasy\def\@currfont{\lasy}}%
  269. \textfont\lyfam\seventeenlasy \scriptfont\lyfam\fourteenlasy 
  270.    \scriptscriptfont\lyfam\fourteenlasy}
  271.  
  272. \def\iseventeenpt{\def\prm{\fam\z@\iseventeenrm\def\@currfont{\rm}}%
  273. \textfont\z@\iseventeenrm \scriptfont\z@\ifourteenrm 
  274.    \scriptscriptfont\z@\ifourteenrm
  275. \textfont\@ne\iseventeeni \scriptfont\@ne\ifourteeni 
  276.    \scriptscriptfont\@ne\ifourteeni
  277. \textfont\tw@\iseventeensy \scriptfont\tw@\ifourteensy 
  278.    \scriptscriptfont\tw@\ifourteensy
  279. \textfont\thr@@\itenex \scriptfont\thr@@\itenex \scriptscriptfont\thr@@\itenex
  280. \def\pit{\fam\itfam\iseventeenit\def\@currfont{\it}}%
  281. \textfont\itfam\iseventeenit 
  282.    \scriptfont\itfam\ifourteenit \scriptscriptfont\itfam\ifourteenit
  283. \def\pbf{\fam\bffam\iseventeenbf\def\@currfont{\bf}}%
  284. \textfont\bffam\iseventeenbf 
  285.    \scriptfont\bffam\ifourteenbf \scriptscriptfont\bffam\ifourteenbf
  286. \def\ptt{\fam\ttfam\iseventeentt\def\@currfont{\tt}}%
  287. \textfont\ttfam\iseventeentt
  288.    \scriptfont\ttfam\ifourteentt \scriptscriptfont\ttfam\ifourteentt
  289. \def\lasy{\fam\lyfam\iseventeenlasy\def\@currfont{\lasy}}%
  290. \textfont\lyfam\iseventeenlasy \scriptfont\lyfam\ifourteenlasy 
  291.    \scriptscriptfont\lyfam\ifourteenlasy}
  292.  
  293. \def\twentypt{\def\prm{\fam\z@\twentyrm\def\@currfont{\rm}}%
  294. \textfont\z@\twentyrm \scriptfont\z@\seventeenrm 
  295.    \scriptscriptfont\z@\fourteenrm
  296. \textfont\@ne\twentyi \scriptfont\@ne\seventeeni 
  297.    \scriptscriptfont\@ne\fourteeni
  298. \textfont\tw@\twentysy \scriptfont\tw@\seventeensy 
  299.    \scriptscriptfont\tw@\fourteensy
  300. \textfont\thr@@\tenex \scriptfont\thr@@\tenex \scriptscriptfont\thr@@\tenex
  301. \def\pit{\fam\itfam\twentyit\def\@currfont{\it}}\textfont\itfam\twentyit 
  302.    \scriptfont\itfam\seventeenit \scriptscriptfont\itfam\fourteenit
  303. \def\pbf{\fam\bffam\twentybf\def\@currfont{\bf}}\textfont\bffam\twentybf 
  304.    \scriptfont\bffam\seventeenbf \scriptscriptfont\bffam\fourteenbf
  305. \def\ptt{\fam\ttfam\twentytt\def\@currfont{\tt}}\textfont\ttfam\twentytt
  306.    \scriptfont\ttfam\seventeentt \scriptscriptfont\ttfam\fourteentt
  307. \def\lasy{\fam\lyfam\twentylasy\def\@currfont{\lasy}}%
  308. \textfont\lyfam\twentylasy \scriptfont\lyfam\seventeenlasy 
  309.    \scriptscriptfont\lyfam\fourteenlasy}
  310.  
  311. \def\itwentypt{\def\prm{\fam\z@\itwentyrm\def\@currfont{\rm}}%
  312. \textfont\z@\itwentyrm \scriptfont\z@\iseventeenrm 
  313.    \scriptscriptfont\z@\ifourteenrm
  314. \textfont\@ne\itwentyi \scriptfont\@ne\iseventeeni 
  315.    \scriptscriptfont\@ne\ifourteeni
  316. \textfont\tw@\itwentysy \scriptfont\tw@\iseventeensy 
  317.    \scriptscriptfont\tw@\ifourteensy
  318. \textfont\thr@@\itenex \scriptfont\thr@@\itenex \scriptscriptfont\thr@@\itenex
  319. \def\pit{\fam\itfam\itwentyit\def\@currfont{\it}}\textfont\itfam\itwentyit 
  320.    \scriptfont\itfam\iseventeenit \scriptscriptfont\itfam\ifourteenit
  321. \def\pbf{\fam\bffam\itwentybf\def\@currfont{\bf}}\textfont\bffam\itwentybf 
  322.    \scriptfont\bffam\iseventeenbf \scriptscriptfont\bffam\ifourteenbf
  323. \def\ptt{\fam\ttfam\itwentytt\def\@currfont{\tt}}\textfont\ttfam\itwentytt
  324.    \scriptfont\ttfam\iseventeentt \scriptscriptfont\ttfam\ifourteentt
  325. \def\lasy{\fam\lyfam\itwentylasy\def\@currfont{\lasy}}%
  326. \textfont\lyfam\itwentylasy \scriptfont\lyfam\iseventeenlasy 
  327.    \scriptscriptfont\lyfam\ifourteenlasy}
  328.  
  329. \def\twentyfourpt{\def\prm{\fam\z@\twentyfourrm\def\@currfont{\rm}}%
  330. \textfont\z@\twentyfourrm \scriptfont\z@\twentyrm 
  331.    \scriptscriptfont\z@\seventeenrm
  332. \textfont\@ne\twentyfouri \scriptfont\@ne\twentyi 
  333.    \scriptscriptfont\@ne\seventeeni
  334. \textfont\tw@\twentyfoursy \scriptfont\tw@\twentysy 
  335.    \scriptscriptfont\tw@\seventeensy
  336. \textfont\thr@@\tenex \scriptfont\thr@@\tenex \scriptscriptfont\thr@@\tenex
  337. \def\pit{\fam\itfam\twentyfourit\def\@currfont{\it}}%
  338. \textfont\itfam\twentyfourit 
  339.    \scriptfont\itfam\twentyit \scriptscriptfont\itfam\seventeenit
  340. \def\pbf{\fam\bffam\twentyfourbf\def\@currfont{\bf}}%
  341. \textfont\bffam\twentyfourbf 
  342.    \scriptfont\bffam\twentybf \scriptscriptfont\bffam\seventeenbf
  343. \def\ptt{\fam\ttfam\twentyfourtt\def\@currfont{\tt}}%
  344. \textfont\ttfam\twentyfourtt
  345.    \scriptfont\ttfam\twentytt \scriptscriptfont\ttfam\seventeentt
  346. \def\lasy{\fam\lyfam\twentyfourlasy\def\@currfont{\lasy}}%
  347. \textfont\lyfam\twentyfourlasy \scriptfont\lyfam\twentylasy 
  348.    \scriptscriptfont\lyfam\seventeenlasy}
  349.  
  350. \def\itwentyfourpt{\def\prm{\fam\z@\itwentyfourrm\def\@currfont{\rm}}%
  351. \textfont\z@\itwentyfourrm \scriptfont\z@\itwentyrm 
  352.    \scriptscriptfont\z@\iseventeenrm
  353. \textfont\@ne\itwentyfouri \scriptfont\@ne\itwentyi 
  354.    \scriptscriptfont\@ne\iseventeeni
  355. \textfont\tw@\itwentyfoursy \scriptfont\tw@\itwentysy 
  356.    \scriptscriptfont\tw@\iseventeensy
  357. \textfont\thr@@\itenex \scriptfont\thr@@\itenex \scriptscriptfont\thr@@\itenex
  358. \def\pit{\fam\itfam\itwentyfourit\def\@currfont{\it}}%
  359. \textfont\itfam\itwentyfourit
  360.    \scriptfont\itfam\itwentyit \scriptscriptfont\itfam\iseventeenit
  361. \def\pbf{\fam\bffam\itwentyfourbf\def\@currfont{\bf}}%
  362. \textfont\bffam\itwentyfourbf 
  363.    \scriptfont\bffam\itwentybf \scriptscriptfont\bffam\iseventeenbf
  364. \def\ptt{\fam\ttfam\itwentyfourtt\def\@currfont{\tt}}%
  365. \textfont\ttfam\itwentyfourtt
  366.    \scriptfont\ttfam\itwentytt \scriptscriptfont\ttfam\iseventeentt
  367. \def\lasy{\fam\lyfam\itwentyfourlasy\def\@currfont{\lasy}}%
  368. \textfont\lyfam\itwentyfourlasy \scriptfont\lyfam\itwentylasy 
  369.    \scriptscriptfont\lyfam\iseventeenlasy}
  370.  
  371. \def\twentyninept{\def\prm{\fam\z@\twentyninerm\def\@currfont{\rm}}%
  372. \textfont\z@\twentyninerm \scriptfont\z@\twentyfourrm 
  373.    \scriptscriptfont\z@\twentyrm
  374. \textfont\@ne\twentyninei \scriptfont\@ne\twentyfouri 
  375.    \scriptscriptfont\@ne\twentyi
  376. \textfont\tw@\twentyninesy \scriptfont\tw@\twentyfoursy 
  377.    \scriptscriptfont\tw@\twentysy
  378. \textfont\thr@@\tenex \scriptfont\thr@@\tenex \scriptscriptfont\thr@@\tenex
  379. \def\pit{\fam\itfam\twentynineit\def\@currfont{\it}}%
  380. \textfont\itfam\twentynineit 
  381.    \scriptfont\itfam\twentyfourit \scriptscriptfont\itfam\twentyit
  382. \def\pbf{\fam\bffam\twentyninebf\def\@currfont{\bf}}%
  383. \textfont\bffam\twentyninebf 
  384.    \scriptfont\bffam\twentyfourbf \scriptscriptfont\bffam\twentybf
  385. \def\ptt{\fam\ttfam\twentyninett\def\@currfont{\tt}}%
  386. \textfont\ttfam\twentyninett
  387.    \scriptfont\ttfam\twentyfourtt \scriptscriptfont\ttfam\twentytt
  388. \def\lasy{\fam\lyfam\twentyninelasy\def\@currfont{\lasy}}%
  389. \textfont\lyfam\twentyninelasy \scriptfont\lyfam\twentyfourlasy 
  390.    \scriptscriptfont\lyfam\twentylasy}
  391.  
  392. \def\itwentyninept{\def\prm{\fam\z@\itwentyninerm\def\@currfont{\rm}}%
  393. \textfont\z@\itwentyninerm \scriptfont\z@\itwentyfourrm 
  394.    \scriptscriptfont\z@\itwentyrm
  395. \textfont\@ne\itwentyninei \scriptfont\@ne\itwentyfouri 
  396.    \scriptscriptfont\@ne\itwentyi
  397. \textfont\tw@\itwentyninesy \scriptfont\tw@\itwentyfoursy 
  398.    \scriptscriptfont\tw@\itwentysy
  399. \textfont\thr@@\itenex \scriptfont\thr@@\itenex 
  400.    \scriptscriptfont\thr@@\itenex
  401. \def\pit{\fam\itfam\itwentynineit\def\@currfont{\it}}%
  402. \textfont\itfam\itwentynineit 
  403. \scriptfont\itfam\itwentyfourit \scriptscriptfont\itfam\itwentyit
  404. \def\pbf{\fam\bffam\itwentyninebf\def\@currfont{\bf}}%
  405. \textfont\bffam\itwentyninebf 
  406.    \scriptfont\bffam\twentyfourbf \scriptscriptfont\bffam\twentybf
  407. \def\ptt{\fam\ttfam\itwentyninett\def\@currfont{\tt}}%
  408. \textfont\ttfam\itwentyninett
  409.    \scriptfont\ttfam\twentyfourtt \scriptscriptfont\ttfam\twentytt
  410. \def\lasy{\fam\lyfam\itwentyninelasy\def\@currfont{\lasy}}%
  411. \textfont\lyfam\itwentyninelasy \scriptfont\lyfam\itwentyfourlasy 
  412.    \scriptscriptfont\lyfam\itwentylasy}
  413.  
  414. \def\thirtyfourpt{\def\prm{\fam\z@\thirtyfourrm\def\@currfont{\rm}}%
  415. \textfont\z@\thirtyfourrm \scriptfont\z@\twentyninerm 
  416.    \scriptscriptfont\z@\twentyfourrm
  417. \textfont\@ne\thirtyfouri \scriptfont\@ne\twentyninei 
  418.    \scriptscriptfont\@ne\twentyfouri
  419. \textfont\tw@\thirtyfoursy \scriptfont\tw@\twentyninesy 
  420.    \scriptscriptfont\tw@\twentyfoursy
  421. \textfont\thr@@\tenex \scriptfont\thr@@\tenex \scriptscriptfont\thr@@\tenex
  422. \def\pit{\fam\itfam\thirtyfourit\def\@currfont{\it}}%
  423. \textfont\itfam\thirtyfourit 
  424.    \scriptfont\itfam\twentynineit \scriptscriptfont\itfam\twentyfourit
  425. \def\pbf{\fam\bffam\thirtyfourbf\def\@currfont{\bf}}%
  426. \textfont\bffam\thirtyfourbf 
  427.    \scriptfont\bffam\twentyninebf \scriptscriptfont\bffam\twentyfourbf
  428. \def\ptt{\fam\ttfam\thirtyfourtt\def\@currfont{\tt}}%
  429. \textfont\ttfam\thirtyfourtt
  430.    \scriptfont\ttfam\twentyninett \scriptscriptfont\ttfam\twentyfourtt
  431. \def\lasy{\fam\lyfam\thirtyfourlasy\def\@currfont{\lasy}}%
  432. \textfont\lyfam\thirtyfourlasy \scriptfont\lyfam\twentyninelasy 
  433.    \scriptscriptfont\lyfam\twentyfourlasy}
  434.  
  435. \def\ithirtyfourpt{\def\prm{\fam\z@\ithirtyfourrm\def\@currfont{\rm}}%
  436. \textfont\z@\ithirtyfourrm \scriptfont\z@\itwentyninerm 
  437.    \scriptscriptfont\z@\itwentyfourrm
  438. \textfont\@ne\ithirtyfouri \scriptfont\@ne\itwentyninei 
  439.    \scriptscriptfont\@ne\itwentyfouri
  440. \textfont\tw@\ithirtyfoursy \scriptfont\tw@\itwentyninesy 
  441.    \scriptscriptfont\tw@\itwentyfoursy
  442. \textfont\thr@@\itenex \scriptfont\thr@@\itenex \scriptscriptfont\thr@@\itenex
  443. \def\pit{\fam\itfam\ithirtyfourit\def\@currfont{\it}}%
  444. \textfont\itfam\ithirtyfourit 
  445.    \scriptfont\itfam\itwentynineit \scriptscriptfont\itfam\itwentyfourit
  446. \def\pbf{\fam\bffam\ithirtyfourbf\def\@currfont{\bf}}%
  447. \textfont\bffam\ithirtyfourbf 
  448.    \scriptfont\bffam\itwentyninebf \scriptscriptfont\bffam\itwentyfourbf
  449. \def\ptt{\fam\ttfam\ithirtyfourtt\def\@currfont{\tt}}%
  450. \textfont\ttfam\ithirtyfourtt
  451.    \scriptfont\ttfam\itwentyninett \scriptscriptfont\ttfam\itwentyfourtt
  452. \def\lasy{\fam\lyfam\ithirtyfourlasy\def\@currfont{\lasy}}%
  453. \textfont\lyfam\ithirtyfourlasy \scriptfont\lyfam\itwentyninelasy 
  454.    \scriptscriptfont\lyfam\itwentyfourlasy}
  455.  
  456. \def\fortyonept{\thirtyfourpt\def\prm{\fam\z@\fortyonerm\def\@currfont{\rm}}%
  457. \textfont\z@\fortyonerm 
  458. \scriptfont\z@\twentyninerm \scriptscriptfont\z@\twentyfourrm}
  459.  
  460. \def\ifortyonept{\ithirtyfourpt
  461.   \def\prm{\fam\z@\ifortyonerm\def\@currfont{\rm}}%
  462. \textfont\z@\ifortyonerm 
  463. \scriptfont\z@\itwentyninerm \scriptscriptfont\z@\itwentyfourrm}
  464.  
  465. % Definitions of math operators added by LaTeX
  466. \mathchardef\mho"0A30
  467. \mathchardef\Join"3A31
  468. \mathchardef\Box"0A32
  469. \mathchardef\Diamond"0A33
  470. \mathchardef\leadsto"3A3B
  471. \mathchardef\sqsubset"3A3C
  472. \mathchardef\sqsupset"3A3D
  473. \def\lhd{\mathbin{< \hbox to -.43em{}\if@visible 
  474.    \hbox{\vrule \@width .065em \@height .55em \@depth .05em}\else
  475.    \hbox{\hskip .065em \vrule \@width \z@ \@height .55em \@depth .05em}
  476.     \fi\hbox to .2em{}}}
  477. \def\rhd{\mathbin{\hbox to .3em{}\if@visible
  478.     \hbox{\vrule \@width .065em \@height .55em \@depth .05em}\else
  479.     \hbox{\hskip .065em \vrule \@width \z@ \@height .55em \@depth .05em}\fi
  480.     \hbox to -.43em{}>}}
  481. \def\unlhd{\mathbin{\leq \hbox to -.43em{}\if@visible
  482.     \hbox{\vrule \@width .065em \@height .63em \@depth -.08em}\else
  483.     \hbox{\hskip .065em \vrule \@width \z@ \@height .63em \@depth -.08em}\fi
  484.     \hbox to .2em{}}}
  485. \def\unrhd{\mathbin{ \hbox to .3em{}\if@visible
  486.     \hbox{\vrule \@width .065em \@height .63em \@depth -.08em}\else
  487.     \hbox{\hskip .065em \vrule \@width \z@ \@height .63em \@depth -.08em}\fi
  488.     \hbox to -.43em{}\geq}}
  489.